1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
3. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
4. Advances in algebra and analysis :
پدیدآورنده : V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.
رده :
QA150
5. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
6. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده : Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
7. Advances in nonlinear programming: proceedings of the 96 International Conference on Nonlinear Programming
پدیدآورنده : edited by Ya-Xiang Yuan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Nonlinear programming - Congresses
رده :
T
57
.
8
.
I58
1996
8. Algebra and Coalgebra in Computer Science :
پدیدآورنده : José Luis Fiadeiro
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
9. Algebra and coalgebra in computer science :
پدیدآورنده : Reiko Heckel, Stefan Milius (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
10. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده : Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
11. Algebraic and geometric methods in discrete mathematics
پدیدآورنده : \ Heather A. Harrington, Mohamed Omar, Matthew Wright, editors.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics, Congresses.,Geometry, Algebraic, Congresses.,General -- Conference proceedings and collections of papers -- Proceedings of conferences of general interest.,ریاضیات -- کنگره‌ها,حساب هندسی -- کنگره‌ها
رده :
QA39
.
3
.
A53
2017
E-book
,
12. Algorithmic aspects in information and management :
پدیدآورنده : Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
رده :
QA76
.
9
.
A43
13. Algorithms and complexity : new directions and recent results
پدیدآورنده : edited by J. F. Traub
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
رده :
QA
76
.
6
.
S98
1976
14. Algorithms and complexity; new directions and recent results; proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses
رده :
QA
76
.
6
.
S9195
15. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
16. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
17. Algorithms and model formulations in mathematical programming
پدیدآورنده : edited by Stein W. Wallace
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming )Mathematics(,Congresses ، Mathematical models
رده :
T
57
.
7
.
N36
1987
18. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
122
19. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
9
.
58
.
A43
1981
20. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
122
